Integrated control and health management. Orbit transfer rocket engine technology program

To insure controllability of the baseline design for a 7500 pound thrust, 10:1 throttleable, dual expanded cycle, Hydrogen-Oxygen, orbit transfer rocket engine, an Integrated Controls and Health Monitoring concept was developed. This included: (1) Dynamic engine simulations using a TUTSIM derived computer code; (2) analysis of various control methods; (3) Failure Modes Analysis to identify critical sensors; (4) Survey of applicable sensors technology; and, (5) Study of Health Monitoring philosophies. The engine design was found to be controllable over the full throttling range by using 13 valves, including an oxygen turbine bypass valve to control mixture ratio, and a hydrogen turbine bypass valve, used in conjunction with the oxygen bypass to control thrust. Classic feedback control methods are proposed along with specific requirements for valves, sensors, and the controller. Expanding on the control system, a Health Monitoring system is proposed including suggested computing methods and the following recommended sensors: (1) Fiber optic and silicon bearing deflectometers; (2) Capacitive shaft displacement sensors; and (3) Hot spot thermocouple arrays. Further work is needed to refine and verify the dynamic simulations and control algorithms, to advance sensor capabilities, and to develop the Health Monitoring computational methods

Testing for lack of fit in inverse regression - with applications to photonic imaging.

Regression; Problems; Lack-of-fit; Applications;

Optimal Scheduling Using Branch and Bound with SPIN 4.0

The use of model checkers to solve discrete optimisation problems is appealing. A model checker can first be used to verify that the model of the problem is correct. Subsequently, the same model can be used to find an optimal solution for the problem. This paper describes how to apply the new PROMELA primitives of SPIN 4.0 to search effectively for the optimal solution. We show how Branch-and-Bound techniques can be added to the LTL property that is used to find the solution. The LTL property is dynamically changed during the verification. We also show how the syntactical reordering of statements and/or processes in the PROMELA model can improve the search even further. The techniques are illustrated using two running examples: the Travelling Salesman Problem and a job-shop scheduling problem

Condensate density and superfluid mass density of a dilute Bose gas near the condensation transition

We derive, through analysis of the structure of diagrammatic perturbation theory, the scaling behavior of the condensate and superfluid mass density of a dilute Bose gas just below the condensation transition. Sufficiently below the critical temperature, $T_c$, the system is governed by the mean field (Bogoliubov) description of the particle excitations. Close to $T_c$, however, mean field breaks down and the system undergoes a second order phase transition, rather than the first order transition predicted in Bogoliubov theory. Both condensation and superfluidity occur at the same critical temperature, $T_c$ and have similar scaling functions below $T_c$, but different finite size scaling at $T_c$ to leading order in the system size. Through a simple self-consistent two loop calculation we derive the critical exponent for the condensate fraction, $2\beta\simeq 0.66$.Comment: 4 page

Verification and Optimization of a PLC Control Schedule

We report on the use of the SPIN model checker for both the verification of a process control program and the derivation of optimal control schedules. This work was carried out as part of a case study for the EC VHS project (Verification of Hybrid Systems), in which the program for a Programmable Logic Controller (PLC) of an experimental chemical plant had to be designed and verified. The intention of our approach was to see how much could be achieved here using the standard model checking environment of SPIN/Promela. As the symbolic calculations of real-time model checkers can be quite expensive it is interesting to try and exploit the efficiency of established non-real-time model checkers like SPIN in those cases where promising work-arounds seem to exist. In our case we handled the relevant real-time properties of the PLC controller using a time-abstraction technique; for the scheduling we implemented in Promela a so-called variable time advance procedure. For this case study these techniques proved sufficient to verify the design of the controller and derive (time-)optimal schedules with reasonable time and space requirements

Concept of Formation Length in Radiation Theory

The features of electromagnetic processes are considered which connected with finite size of space region in which final particles (photon, electron-positron pair) are formed. The longitudinal dimension of the region is known as the formation length. If some external agent is acting on an electron while traveling this distance the emission process can be disrupted. There are different agents: multiple scattering of projectile, polarization of a medium, action of external fields, etc. The theory of radiation under influence of the multiple scattering, the Landau-Pomeranchuk-Migdal (LPM) effect, is presented. The probability of radiation is calculated with an accuracy up to "next to leading logarithm" and with the Coulomb corrections taken into account. The integral characteristics of bremsstrahlung are given, it is shown that the effective radiation length increases due to the LPM effect at high energy. The LPM effect for pair creation is also presented. The multiple scattering influences also on radiative corrections in a medium (and an external field too) including the anomalous magnetic moment of an electron and the polarization tensor as well as coherent scattering of a photon in a Coulomb field. The polarization of a medium alters the radiation probability in soft part of spectrum. Specific features of radiation from a target of finite thickness include: the boundary photon emission, interference effects for thin target, multi-photon radiation. The experimental study of LPM effect is described. For electron-positron colliding beams following items are discussed: the separation of coherent and incoherent mechanisms of radiation, the beam-size effect in bremsstrahlung, coherent radiation and mechanisms of electron-positron creation.Comment: Revised review paper, 96 pages, 28 figures. Description of SLAC E-146 experiment removed, discussion of CERN SPS experiment adde

Isolated fungus ball mimicking mucocele or frontal sinus tumour: a diagnostic pitfall

Frontal sinus fungus ball should be considered in the differential diagnosis of chronic, nonspecific forehead symptoms. To evaluate the underlying disease, computed tomography scans should first be performed, followed by magnetic resonance imaging if malignancy is suspected. It is essential to be aware of the possibility of an atypical fungus ball appearance on computed tomography and magnetic resonance imaging scans. If bony destruction and calcification coexist on radiological images, then endoscopic biopsy is an indispensable part of the diagnostic procedure, and should be performed to collect material for both histological and mycological analysis, and to aid surgical planning. In cases of sinus fungus ball, an endoscopic approach for biopsy may be curative

Isolated fungus ball mimicking mucocele or frontal sinus tumour: a diagnostic pitfall

Abstract Objective: To demonstrate the clinical, radiological and diagnostic pitfalls of managing an isolated frontal sinus fungus ball, and to compare with the literature. Material and methods: Retrospective analysis of two cases and literature review. Results: Isolated frontal sinus fungus ball is a rare cause of frontal sinus disease. We present two cases of isolated frontal sinus fungus ball which pre-operatively were suspected to be either a tumour or a mucocele. In both cases, cheesy, clay-like material was found intra-operatively within the frontal sinus, suggesting a fungus ball. Effective treatment included surgical debridement via an exclusively endoscopic or an external approach, variously. Final histopathological and mycological analysis revealed Aspergillus fumigatus. A literature review revealed 20 reported cases of isolated frontal sinus fungus ball, confirming the low prevalence of the disease. Conclusions: Frontal sinus fungus ball should be considered in the differential diagnosis of chronic, nonspecific forehead symptoms. To evaluate the underlying disease, computed tomography scans should first be performed, followed by magnetic resonance imaging if malignancy is suspected. It is essential to be aware of the possibility of an atypical fungus ball appearance on computed tomography and magnetic resonance imaging scans. If bony destruction and calcification coexist on radiological images, then endoscopic biopsy is an indispensable part of the diagnostic procedure, and should be performed to collect material for both histological and mycological analysis, and to aid surgical planning. In cases of sinus fungus ball, an endoscopic approach for biopsy may be curativ